Local-global intersection homology
نویسنده
چکیده
This paper defines new intersection homology groups. The basic idea is this. Ordinary homology is locally trivial. Intersection homology is not. It may have significant local cycles. A localglobal cycle is defined to be a family of such local cycles that is, at the same time, a global cycle. The motivating problem is the numerical characterisation of the flag vectors of convex polytopes. Central is a study of the cycles on a cone and a cylinder, in terms of those on the base. This leads to the topological definition of local-global intersection homology, and a formula for the expected Betti numbers of toric varieties. Various related questions are also discussed.
منابع مشابه
Stratified simplices and intersection homology
Intersection homology is obtained from ordinary homology by imposing conditions on how the embedded simplices meet the strata of a space X . In this way, for the middle perversity, properties such as strong Lefschetz are preserved. This paper defines local-global intersection homology groups, that record global information about the singularities of X . They differ from intersection homology in...
متن کاملRing structure, uniform expressions and intersection homology
Although intersection homology lacks a ring structure, certain expressions (called uniform) in the intersection homology of an irreducible projective variety X always give the same value, when computed via the decomposition theorem on any resolution Xr → X . This paper uses uniform (and non-uniform) expressions to define what is believed to be the usual intersection homology (and its local-glob...
متن کاملIntersection homology and Poincaré duality on homotopically stratified spaces
We show that intersection homology extends Poincaré duality to manifold homotopically stratified spaces (satisfying mild restrictions). These spaces were introduced by Quinn to provide “a setting for the study of purely topological stratified phenomena, particularly group actions on manifolds.” The main proof techniques involve blending the global algebraic machinery of sheaf theory with local ...
متن کاملConvex polytopes and linear algebra
This paper defines, for each convex polytope ∆, a family Hw∆ of vector spaces. The definition uses a combination of linear algebra and combinatorics. When what is called exact calculation holds, the dimension hw∆ of Hw∆ is a linear function of the flag vector f∆. It is expected that the Hw∆ are examples, for toric varieties, of the new topological invariants introduced by the author in Local-gl...
متن کاملA Morphism of Intersection Homology and Hard Lefschetz
We consider a possibility of the existence of intersection homology morphism, which would be associated to a map of analytic varieties. We assume that the map is an inclusion of codimension one. Then the existence of a morphism follows from Saito’s decomposition theorem. For varieties with conical singularities we show, that the existence of intersection homology morphism is exactly equivalent ...
متن کامل